go/types.Named.targs (field)
27 uses
go/types (current package)
decl.go#L714: assert(base.targs.Len() == 0) // collectMethods should not be called on an instantiated type
infer.go#L437: return w.isParameterizedTypeList(t.targs.list())
instantiate.go#L81: named.targs = newTypeList(targs)
named.go#L20: targs *TypeList // type arguments (after instantiation), or nil
named.go#L120: assert(t.targs.Len() == 0)
named.go#L125: func (t *Named) TypeArgs() *TypeList { return t.targs }
named.go#L175: if origSig.RecvTypeParams().Len() == t.targs.Len() {
named.go#L177: smap := makeSubstMap(origSig.RecvTypeParams().list(), t.targs.list())
named.go#L202: assert(t.targs.Len() == 0)
named.go#L218: assert(t.targs.Len() == 0)
named.go#L371: if n.orig.tparams.Len() == n.targs.Len() {
named.go#L374: h := ctxt.instanceHash(n.orig, n.targs.list())
named.go#L378: smap := makeSubstMap(n.orig.tparams.list(), n.targs.list())
predicates.go#L102: return named != nil && named.obj != nil && named.targs == nil && named.TypeParams() != nil
subst.go#L222: if t.targs.Len() != t.orig.TypeParams().Len() {
subst.go#L231: for i, targ := range t.targs.list() {
subst.go#L238: copy(newTArgs, t.targs.list())
typestring.go#L289: if t.targs != nil {
typestring.go#L291: w.typeList(t.targs.list())
typexpr.go#L443: inst.targs = newTypeList(targs)
typexpr.go#L451: targs := n.targs.list()
typexpr.go#L457: n.targs = newTypeList(inferred)
typexpr.go#L475: if check.validateTArgLen(pos, inst.tparams.Len(), inst.targs.Len()) {
typexpr.go#L476: if i, err := check.verify(pos, inst.tparams.list(), inst.targs.list()); err != nil {
typexpr.go#L484: check.mono.recordInstance(check.pkg, pos, inst.tparams.list(), inst.targs.list(), ix.Indices)
unify.go#L548: xargs := x.targs.list()
unify.go#L549: yargs := y.targs.list()